R{-}state{-}var{-}init($i$;${\it ds}$;${\it da}$;$x$;$T$;$v$;${\it ks}$;${\it tr}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$R{-}state{-}var($i$;${\it ds}$;${\it da}$;$x$;$T$;${\it ks}$;${\it tr}$) $\oplus$ @$i$ $x$ initially $v$:$T$